Eq In Logic